基于CPLD的循环冗余校验码的实现

本文介绍了利用VHDL语言，在MAXPLUSⅡ平台上，使用CPLD实现串行、并行两种信源方式的CRC码的设计及其模型验证结果。无论是串行，还是并行的信源要想实现CRC码设计必须建立校验、纠错两个模块，完成数据传输中的差错控制。同时在用硬件实现CRC码传输的过程中，比较了串、并两种方式的优缺点。     

利用奇异酉几何构作新的带仲裁的认证码

利用有限域上奇异酉几何构作了一个新的带仲裁的认证码．并计算了这个码的参数。当编码规则按等概率分布选取时，计算出了各种攻击成功的概率。     

夹具质量对标准测力仪的影响

分析了用试验机进行力学性能检定过程中，夹具的质量对标准测力仪造成的影响，并通过分析原因，给出消除或减小这种影响的方法。     

Extension of INCL4 between 2 and 15 GeV

The intranuclear cascade model INCL4 has been shown to be very successful for describing, without adjustable parameters, a whole set of data for p-induced reactions in the 40 MeV–2 GeV energy range. In view of its possible application to cosmic ray interactions, the INCL4 code has been extended to the 2–15 GeV energy range, so covering a large part of the spectrum of the incident energy of the cosmic rays.     

弹性杆端性能计算方法及验证

弹性杆端技术是旋翼系统杆端关节轴承技术的一大进步。基于传统弹性元件工程计算方法，结合橡胶计算力学理论，创建了一套弹性杆端关节轴承性能计算方法，并且通过试验结果验证了其可行性。     

一种VxWorks BSP 软件自动生成技术的设计与实现

VxWorks BSP 软件的可视化开发和代码自动生成技术是基于BSP 中最小系统配置单元组件化封装 以及常用外设驱动的标准化、通用化、组件化设计与封装实现的。该技术的实现可以使开发人员能够通过在可 视化工具中填写对应硬件信息，完成BSP 软件代码及对应文档的自动生成，实现了软件需求的直观化输入到 需求与设计的黑盒转化。能有效提高软件开发效率，增加软件成熟度，提高软件产品质量。     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究，旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题，提出一种基于模型架构的航天器控制软件研制方式，搭建软件模型驱动框架，通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架，简化代码胶合过程.同时，建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.     

摆锤式冲击试验机能量损失检测方法的比较与分析

摆锤式冲击试验机的能量损失包括：指针的摩擦（或接触式电子角位移传感器的摩擦）、空气阻力和摆轴轴承的摩擦所引起的能量损失；基础的冲击、机架和摆锤的振动所引起的能量损失。国内外还没有成熟的测量方法和测量仪器测定基础的冲击、机架和摆锤的振动所引起的能量损失，没有形成技术文件，目前摆锤式冲击试验机能量损失的检测主要针对前者。本文针对国内计量部门计量摆锤式冲击试验机所依据的常用标准和规程，比较能量损失的检测方法和计算公式，做出简要分析，指出某些计算公式值得商榷之处。     

风挡防冰热性能分析工程模型的建立和验证

为表明飞行条件和结冰条件所有组合下防冰能力是足够的,分析了风挡的设计需求和流场特性,建立了理论上保守的工程模型,确定了模型的关键系数;通过飞行试验数据修正了关键系数并验证了模型;该模型能够便捷地使用常用的编程语言甚至EXCEL内置函数实现对所有组合状态的性能分析,其结果能够支持适航取证及CFD计算状态筛选。     

空间机械臂运动控制的地面仿真验证技术

空间机械臂是在轨进行舱外巡检、航天员辅助出舱的关键活动机构,其在轨操作的运动过程需要在地面进行预先规划生成运动控制指令,再通过数字仿真与推演对运动控制指令进行验证,以确保机械臂操作全程的安全性和高效性.针对上述问题,本文主要从运动空间限制、运动速度限制和关节力矩限制等方面设计了地面仿真验证框架,提出了基于运动学与动力学...